Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
551	A Guide to PERL ILOG Eli Billauer [removed] November 11, 2003 Add to Reading List Source URL: www.billauer.co.il Language: English - Date: 2003-11-11 14:22:48 Perl Hardware description languages Object-oriented programming Hardware verification languages Verilog Constructor Class E Software engineering Computing Computer programming
552	Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification Johannes Kanig2 , Rod Chapman1 , Cyrille Comar2 , Jerˆome Guitton2 , Yannick Moy2 , and Emyr Rees1 1 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-06-16 09:55:02 Formal methods Ada programming language SPARK Formal verification Ada KeY Sheaf Computing Software engineering Computer programming
553	IAEA-TECDOC[removed]Validation Procedures of Software Applied in Nuclear Instruments Proceedings of a Technical Meeting held in Vienna, 20–23 November 2006 Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2007-09-11 05:15:35 Science Technology Pharmaceutical industry Validity Formal methods Validation Verification and validation Software verification Software development process Software testing Software development Systems engineering
554	Vectorworks 2013 Student Registration Details and Verification Student Name: Student No: Home Address: Add to Reading List Source URL: d3ob7bbij4qj54.cloudfront.net Language: English - Date: 2013-04-01 21:46:53 3D graphics software Vectorworks Credit card Cheque Microsoft Windows Windows 7 Software Payment systems Business
555	Carlo A. Furia Chair of Software Engineering Department of Computer Science, ETH Zurich ETH Zentrum RZ J4, ClausiusstrasseZürich, Switzerland Add to Reading List Source URL: bugcounting.net Language: English - Date: 2015-04-02 13:39:35 Politecnico di Milano International Conference on Software Engineering ETH Zurich Bertrand Meyer École Polytechnique Fédérale de Lausanne Software verification SIGSOFT Carlo Ghezzi Giovanni De Micheli Software engineering Computer science Academia
556	End User Licence Agreement 1. 1. Add to Reading List Source URL: www.inhancetechnology.com Language: English - Date: 2014-11-20 09:58:53 Internet privacy Location-based service Google ITunes Device driver synthesis and verification Mobile business intelligence Software Media technology Technology
557	Vectorworks 2014 Student Registration Details and Verification Student Name: Student No: Home Address: Add to Reading List Source URL: s3-ap-southeast-1.amazonaws.com Language: English - Date: 2014-03-20 06:48:38 3D graphics software Vectorworks Credit card Cheque Microsoft Windows Windows 7 Q Software Payment systems Business
558	Draft Annex 15 - V12[removed]for PICS and EC adoption Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2015-03-31 03:29:33 Business Validation Verification and validation Verification Good manufacturing practice Quality assurance Acceptance testing Software development process Quality management system Pharmaceutical industry Science Technology
559	SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions Add to Reading List Source URL: iaassconference2013.space-safety.org Language: English - Date: 2013-06-23 13:12:48 Electronics Embedded systems Safety Computing Systems engineering DO-178B DO-178C Requirement Verification Software development Avionics Software requirements
560	Vectorworks 2015 Student Registration Details and Verification Student Name: Student No: Home Address: Add to Reading List Source URL: s3-ap-southeast-1.amazonaws.com Language: English - Date: 2015-02-09 00:50:01 Business 3D graphics software Vectorworks Credit card Cheque Microsoft Windows Windows 7 Email Software Computing Payment systems

UPDATE